The Relation Between k-Circularity and Circularity of Codes

Constructive Truth and Circularity

We propose a constructive interpretation of truth which resolves the standard semantic paradoxes. 1. Heuristic concepts In intuitionism the law of excluded middle (LEM) is not accepted because the assignment of truth values to sentences is seen as a kind of open-ended process. Although the validity of any purported proof is supposed to be decidable, the truth value of a given sentence may not b...

Voodoo and circularity errors

We briefly describe the circularity/non-independence problem, and our perception of the impact the ensuing discussion has had on fMRI research.

Circularity and Lambda Abstraction

In this tribute to Doaitse Swierstra, we present the first transformation between lazy circular programs à la Bird and strict circular programs à la Pettorossi. Circular programs à la Bird rely on lazy recursive binding: they involve circular unknowns and make sense equationally. Circular programs à la Pettorossi rely on the inductive construction of functions and their eventual application: th...

Circularity of Planar Graphs

A circular cover of a graph G is a cover {X0, · · · , Xn−1} of the topological space G by closed connected subsets, indexed over Zn, with the following properties: Each element in the cover contains a vertex of G, each vertex of G is contained in at most two elements of the cover, and Xa ∩ Xb 6= ∅ if and only if b − a ∈ {−1, 0, 1}. The circularity of G is the largest integer n for which there i...

The Circularity of Evolutionary Reliabilism